Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
471	ClosureElimination and DeadCodeElimination c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia December 4th , 2011 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-12-04 10:16:16 Compiler optimizations Assembly languages Peephole optimization Inline expansion Java bytecode Forth Static single assignment form Jimple Software engineering Computing Programming language theory
472	Formal Verication of Object Layout for C++ Multiple Inheritance Tahina Ramananandro1 1 INRIA Gabriel Dos Reis2 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2011-01-27 00:28:09 C programming language Procedural programming languages C++ Struct C++ classes ALGOL 68 C D Software engineering Programming language theory Computing
473	-calculus Classical Realizability Channels and their reduction Add to Reading List Source URL: lepigre.fr Language: English - Date: 2014-10-13 07:48:11 Type theory Mathematical constructivism Realizability Stack Type system Calculus C Programming language theory Software engineering Computing
474	DATA-FLOW ANALYSIS FOR INTERRUPT-DRIVEN MICROCONTROLLER SOFTWARE by Nathan Cooprider Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2008-11-07 14:48:31 Compiler optimizations Programming language implementation Embedded systems TinyOS Microcontroller Data-flow analysis Program analysis Compiler Constant folding Computing Software engineering Programming language theory
475	A Declarative View of Inheritance in Logic Programming M. Bugliesi Dipartimento di Matematica Pura ed Applicata Via Belzoni 7, Padova – ITALY Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:12:30 Deduction Philosophy of language Model theory Natural deduction Modal logic Sheaf Interpretation Entailment Formal semantics Logic Philosophical logic Semantics
476	Embedded Systems Conference April 3-7, San Jose [ESC-447] Safety-Critical Design Techniques for Secure and Reliable Systems Robert B. K. Dewar AdaCore Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:58 Ada programming language Program analysis Formal methods Avionics Type theory SPARK Ada Static program analysis Software bug Computing Software engineering Programming language theory
477	c Academic Press. To appear. In Information and Computation Type Inference for Variant Object Types Michele Bugliesi Dipartimento di Informatica, Universit`a Ca’ Foscari di Venezia Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-02-03 06:51:06 Data types Computing Object-oriented programming Polymorphism Type systems Subtype polymorphism Symbol Inheritance System F Type theory Software engineering Programming language theory
478	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2014-03-19 11:20:37 Functional languages Type theory Procedural programming languages Theoretical computer science Logic in computer science OCaml Type system Coq ML Software engineering Computing Programming language theory
479	DRA FRONT END FILTER PROJECT Specification of SSQL Semantics II Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:09 Procedural programming languages Functional languages ALGOL 68 C++ HOL KeY Id C++ classes Sequence container Programming language theory Computing Software engineering
480	Operating System Exercises 20102013 Rahmat M. SamikIbrahim et. al. http://rms46.vLSM.orgpdf Contributors: Rahmat M. SamikIbrahim (VauLSMorg), Muhammad H. Hilman, Heri Kurniawan, Amril Syali Add to Reading List Source URL: rms46.vlsm.org Language: English - Date: 2014-03-11 06:15:35 Computing Programming language theory ALGOL 68 Software engineering

UPDATE